1. Algebraic specification techniques and tools for software development : the ACT approach
پدیدآورنده : Classen, Ingo.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Development , Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
C57
1993
2. Algebraic specification techniques and tools for software development: the ACT approach
پدیدآورنده : Classen, Ingo, Ingo Claszen, Hartmut Ehrig, Dietmar Wolz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer software- Development,، Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
C57
1993
3. Algebraic specification techniques and tools for software development : the ACT approach
پدیدآورنده : Classen, Ingo.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development,، Compilers )Computer programs(
رده :
QA
76
.
76
.
D47
.
C57
1993
4. Compiler design
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Compilers (Computer programs),Computer software -- Development
رده :
QA
،
76
.
76
،.
C65
,
C4
،
1994
5. Compilers :
پدیدآورنده : Alfred V. Aho [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs)
رده :
QA76
.
76
.
C65
A37
2007
6. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
7. Essential Delphi 2.0 fast :
پدیدآورنده : John Cowell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Borland Delphi 2.0.,Computer software -- Development,Delphi -- (Programmiersprache)
8. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
9. Handshake circuits :
پدیدآورنده : Kees van Berkel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.,Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.
رده :
TK7874
10. Instruction level parallelism
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Parallel processing (Electronic computers)
رده :
QA76
.
58
11. Machine Learning in Compiler Optimization
پدیدآورنده : Haj-Ali, Ameer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering,Computer science,Electrical engineering
12. Machine Learning in Compiler Optimization
پدیدآورنده : Haj-Ali, Ameer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering,Computer science,Electrical engineering
13. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
14. Program analysis and compilation, theory and practice :
پدیدآورنده : Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
15. Programming with actors :
پدیدآورنده : Alessandro Ricci, Philipp Haller (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Intelligent agents (Computer software),Computer System Implementation.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Special Purpose and Application-Based Systems.,Computer programming-- software development.,Computer programming.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Intelligent agents (Computer software),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
I58
16. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
17. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
18. Software build systems. principles and experience
پدیدآورنده : Smith, Peter
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Compilers )Computer programs(,، Programming software,، Self-adaptive software,، Application software- Development- Computer programs
رده :
QA
76
.
76
.
C65
S65
2011
19. Systems programming in Unix/Linux /
پدیدآورنده : K.C. Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
20. Teach yourself C in 21 day
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : C (Computer program language)- Study and teaching Software,Compilers (Computer programs) Software
رده :
QA76
.
73
.
C15
